#define _CRT_SECURE_NO_WARNINGS 1
//#include <stdio.h>
//int main()
//{
//    int i, j, n;
//    scanf("%d", &n);
//    int arr[100][100];
//    for (i = 0; i < n; i++)
//    {
//        for (j = 0; j <= i; j++)
//        {
//            if (j == 0 || j == i)
//            {
//                arr[i][j] = 1;
//            }
//            else
//            {
//                arr[i][j] = arr[i - 1][j - 1] + arr[i - 1][j];
//            }
//        }
//    }
//    for (i = 0; i < n; i++)
//    {
//        for (j = 0; j <= i; j++)
//        {
//            printf("%5d", arr[i][j]);
//        }
//        printf("\n");
//    }
//    return 0;
//}
//
//#include <stdio.h>
//
//int main()
//{
//    char arr[3][3];
//    int i = 0;
//    int j = 0;
//    for (i = 0; i < 3; i++)
//    {
//        for (j = 0; j < 3; j++)
//        {
//            scanf("%c", &arr[i][j]);
//        }
//    }
//    char flag = 0;
//    for (i = 0; i < 3; i++)
//    {
//        if (arr[0][i] == arr[1][i] && arr[1][i] == arr[2][i] && arr[2][i] != 'o')
//        {
//            flag = arr[2][i];
//            break;
//        }
//        if (arr[i][0] == arr[i][1] && arr[i][1] == arr[i][2] && arr[i][2] != 'o')
//        {
//            flag = arr[i][2];
//            break;
//        }
//    }
//    if (arr[0][0] == arr[1][1] && arr[1][1] == arr[2][2] && arr[2][2] != 'O')
//    {
//        flag = arr[2][2];
//    }
//    if (arr[0][2] == arr[1][1] && arr[1][1] == arr[2][0] && arr[2][0] != 'O')
//    {
//        flag = arr[2][0];
//    }
//    if ('K' == flag)
//    {
//        printf("KiKi wins!\n");
//    }
//    else if ('B' == flag)
//    {
//        printf("BoBo wins!\n");
//    }
//    else
//    {
//        printf("No winner!\n");
//    }
//    return 0;
//}
#include <stdio.h>

int main()
{
    int i, j, time;
    while (scanf("%d:%d %d", &i, &j, &time) != EOF)
    {
        while (1)
        {
            if (time >= 60)
            {
                time %= 60;
                i++;
                j = time;
            }
            else
            {
                break;
            }
        }
        printf("%02d:%02d\n", i, j);
    }
    return 0;
}
